package edu.pku.sei.transformation.mtparser;

public interface ResultVisitor
{
    Object visit(AstToken n);
    Object visit(RuleSemantics n);
    Object visit(BasicRuleSemantics n);
    Object visit(CheckMode n);
    Object visit(EnforceMode n);
    Object visit(ExtendMode n);
    Object visit(CommaExpr n);
    Object visit(SingleExpr n);
    Object visit(AndExpr n);
    Object visit(OrExpr n);
    Object visit(NotExpr n);
    Object visit(ExistoneExpr n);
    Object visit(ForallExpr n);
    Object visit(EqualExpr n);
    Object visit(EvalExpr n);
    Object visit(ExclusiveExpr n);
    Object visit(UnionExpr n);
    Object visit(AssignExpr n);
    Object visit(NewExpr n);
    Object visit(DeleteExpr n);
    Object visit(ParenAtomicExpr n);
    Object visit(UserDefinedVarExpr n);
    Object visit(Name n);
    Object visit(StringConst n);
    Object visit(IntConst n);
    Object visit(RealConst n);
    Object visit(NullConst n);
    Object visit(InvalidConst n);
    Object visit(FullMatchExpr n);
    Object visit(PartialMatchExpr n);
    Object visit(AttributeExpr n);
    Object visit(OperationExpr n);
    Object visit(Params n);
    Object visit(IfExpr0 n);
    Object visit(IfExpr1 n);
    Object visit(PredefinedVarExpr0 n);
    Object visit(PredefinedVarExpr1 n);
    Object visit(PredefinedVarExpr2 n);
    Object visit(PredefinedVarExpr3 n);
    Object visit(BooleanConst0 n);
    Object visit(BooleanConst1 n);

    Object visit(Ast n);
}

